[IA64] Fix tlbflush_clock
authorawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Mon, 5 Feb 2007 21:24:27 +0000 (14:24 -0700)
committerawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Mon, 5 Feb 2007 21:24:27 +0000 (14:24 -0700)
commit570b1fe16eb2edd4a9eeae83ab1e075fd9d899a3
tree1fc03abd0896a0fdedbf25f420a4f651e7b8ba85
parent6b50b2d9039bbfc121ec5afb28305d58509e41ac
[IA64] Fix tlbflush_clock

arch_vcpu.tlbflush_timestamp is unused and
new_tlbflush_clock_period() flushes vhpt unnecessarily.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/domain.c
xen/arch/ia64/xen/flushtlb.c
xen/arch/ia64/xen/vhpt.c
xen/include/asm-ia64/domain.h